package Symbol;

public class Symbol {
	private String name;
	
	private Symbol(String n) {
		name = n; 
	}
	
	private static java.util.Dictionary dict = new java.util.Hashtable();
	
	public String toString() {
		return name;
	}
	
	public static Symbol symbol(String n) {
		String u = n.intern();
		
		Symbol s = (Symbol)dict.get(u);
		
		if (s == null) {
			s = new Symbol(u); dict.put(u,s); 
		}
		return s;
	}
}
